Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
71	politics, philosophy & economics article © SAGE Publications Ltd London Add to Reading List Source URL: www.repugnant-conclusion.com Language: English - Date: 2007-06-25 14:40:36 Philosophy Ethics Utilitarianism Logic Classical liberalism Formal systems Social choice theory Paradoxes Average and total utilitarianism Utility Preference Axiom
72	Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control ? R¨ udiger Ehlers ∗ St´ ephane Lafortune ∗∗ Stavros Tripakis ∗∗∗ Add to Reading List Source URL: excape.cis.upenn.edu Language: English - Date: 2014-08-13 21:30:28 Logic Temporal logic Philosophical logic Mathematical logic Abstraction Linear temporal logic Logic in computer science Supervisory control theory Non-classical logic CTL* Modal logic Quantifier
73	Modal Logics of Some Subspaces of Rational Numbers: Diamond as Derivative Joel Lucero-Bryan New Mexico State University Short Background Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 22:55:40 Mathematics Logic Abstraction General topology Non-classical logic Philosophical logic Modal logic Modality Metrization theorem Closure operator Derivative algebra
74	Fitting’s Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (Extended Abstract) Gergei Bana INRIA Paris, France Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-07-17 09:25:53 Logic Mathematical logic Non-classical logic Philosophical logic Predicate logic Model theory First-order logic Barcan formula Modal logic KeY
75	Logic, Elliptic curves, and Diophantine stability Hilbert’s classical Tenth Problem Given a diophantine equation with any number of unknown quantities and with rational integral numerical Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2014-11-09 17:01:10
76	Globalization makes inconsistency unrecognizable John Woods Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2015-12-30 14:58:38 Logic Philosophy Abstraction Philosophical logic Non-classical logic Mathematical logic Theories of truth Proof theory Negation Paraconsistent logic False Contradiction
77	Classical provability of uniform versions and intuitionistic provability Makoto Fujiwara∗ Mathematical Institute Tohoku University 6-3, Aramaki Aoba, Aoba-ku Sendai, Miyagi, Japan Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-08-17 07:52:06 Computability theory Proof theory Mathematical logic Logic Reverse mathematics Mathematics Philosophy of mathematics
78	Curry-Howard for GUIs Or, User Interfaces via Linear Temporal, Classical Linear Logic Jennifer Paykin University of Pennsylvania <> Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2014-11-13 09:35:19
79	Intuitionistic choice and restricted classical logic Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:11:38 Symbol Operator theory Proof theory Differential forms on a Riemann surface It diffusion
80	ANU Logic Summer School January-February 2009 Non-Classical Logic Lecture 1: Natural Deduction Ed Mares 2 February Add to Reading List Source URL: ssll.rsise.anu.edu.au Language: English - Date: 2009-01-20 21:41:34

UPDATE